language (SAL) ICL, Ltd. Used in the verification of SPARK programs against Z specifications. (1994-12-08)